Suchergebnis

zu den Filteroptionen
Suche nach: Autor / Beteiligte = De Nicola, Rocco und Sammlung = ULB Düsseldorf
  • Titelblatt
    Software engineering and formal methods
    14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings
    De Nicola, Rocco (Hrsg.) ; Kühn, Eva (Hrsg.) ; SEFM <14., 2016, Wien> ; STAF <2016, Wien>
    [Cham] : Springer, 2016